Nuprl Definition : dsys 0,22

Dsys == IdMsgA 
latex



clarification:

dsys{i:l} == Idmsga{i:l} 
latex


Definitionsx:AB(x), Id, MsgA
FDL editor aliasesdsys

origin